class Foo a where

  -- | Foo.

  foo
    :: Int
    -> a -- ^ Something

  -- | Bar.

  bar :: a
